Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

Presenter and Main Author Co-Authors, if any Title

Source URL: www.strc.ch

• Multi-agent systems
• Complex systems theory
• Models of computation
• Systems science
• Traffic simulation
• Scientific modeling
• Computing
• Agent-based model
• MATSim
• Kay
• Simulation
• Transport network

Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Verification Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014

Source URL: movep14.irccyn.ec-nantes.fr

The TU Darmstadt has one of Germany’s top Computer Science Departments with an outstanding nation-wide and international reputation in research and education. The chair Modeling and Analysis of Information Systems (MAI

Source URL: www.cased.de

Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3

Source URL: www.modelica.org

Ptolemy II Project Director: Prof. Edward A. Lee modeling, simulation, and design of concurrent, real-time, embedded systems

Source URL: chess.eecs.berkeley.edu

APBI SESSION WEDNESDAY, AUGUST 5, 2015 8:00 a.mWelcome Julie Wood, Engineering Project Manager, International Wheeled Vehicles, General Dynamics Land Systems (GDLS) 8:05 a.m. . . . . . . . . COL Patricia

Source URL: www.ndia-mich.org

• Hybrid electric vehicles
• Modeling and simulation
• United States Army Materiel Command
• Electric vehicle conversion
• Macomb County
• Michigan
• United States Army TACOM Life Cycle Management Command
• United States Army Tank Automotive Research
• Development and Engineering Center
• Program executive officer
• United States Assistant Secretary of the Army for Acquisition
• Logistics
• and Technology

BARC NEWSLETTER MATHEMATICAL MODELING OF NUCLEAR SYSTEMS Raj Kumar Singh, A. Rama Rao Reactor Engineering Division Shri Raj Kumar Singh is the recipient of the DAE Young Engineer Award for the year 2011

Source URL: www.barc.gov.in

JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

July/August 2015 | Volume 3, ISSUE 4 A publication of science and technology news from the U.S. Army Research, Development and Engineering Command +

Source URL: usarmy.vo.llnwd.net

• Modeling and simulation
• United States Army Research
• Development and Engineering Command
• Geography of the United States
• Military
• United States Army Materiel Systems Analysis Activity
• Aviation and Missile Research
• Development
• and Engineering Center
• United States Army Tank Automotive Research
• Development and Engineering Center
• United States Army
• Human Dimension
• Rapid Equipping Force